📞 Session Types

Protocol Safety, Communication Correctness, Type-driven Development, Concurrency

A New Concurrent ML in Guile Scheme
wingolog.org·7h·
Discuss: Hacker News
🔄Lens Laws
Analysing Snapshot Isolation
muratbuffalo.blogspot.com·3h·
Discuss: www.blogger.com
🌳Persistent Data Structures
TypeScript Delivers Better Developer Experience With New Enhancements
hackernoon.com·1d
💧Liquid Types
PQCSA: A Gentle Introduction to Code Based PKE
esat.kuleuven.be·1d
⚗️Algebraic Coding
Software Internals Book Club
eatonphil.com·10h
⚙️Operating System Design
Relative Completeness of Incorrectness Separation Logic
arxiv.org·12h
🧠Separation Logic
Week 7 — Learning Basic Concepts of Cybersecurity
infosecwriteups.com·1d
🔐Capability Systems
In Support Of Shitty Types
lucumr.pocoo.org·22h·
Discuss: Lobsters, Hacker News
🎯Gradual Typing
RapiTapir: Type-Safe HTTP APIs for Ruby
github.com·20h·
Discuss: Hacker News
🔌Archive APIs
Linear Types for Programmers
twey.io·2d·
Discuss: Hacker News
🔒Linear Types
Build Your Own AI Agent with MCP: A Developer's Guide to Model Context Protocol
dev.to·22h·
Discuss: DEV
🔌Interface Evolution
We Built an MCP Server and These Are the Gotchas Nobody Talks About
cloudquery.io·1h·
Discuss: Hacker News
🔒WASM Capabilities
Rtpengine: RTP Inject and RTP Bleed vulnerabilities despite proper configuration (CVSS v4.0 Score: 9.3 / Critical)
seclists.org·2d
💣ZIP Vulnerabilities
Introductory Computer Science and Software Engineering Topics
albertyw.com·1d
🛠Language Design
Introducing Server-Sent Events in Python
towardsdatascience.com·23h
🌊Stream Processing
Detection Engineering: Practicing Detection-as-Code – Validation – Part 3
blog.nviso.eu·9h
✅Archive Validation
Who here runs async-first teams? What surprised you the most?
businessofsoftware.org·3h·
Discuss: Hacker News
🌊Stream Processing
Creating a Toy Programming Language with Actor-Based Parallelism
pointersgonewild.com·2d·
Discuss: Hacker News
🔄Lens Laws
Real Life Is Uncertain. Consensus Should Be Too
muratbuffalo.blogspot.com·3h·
Discuss: Hacker News
🤝Paxos Consensus
An easy, realistic model for MCP connectivity
tailscale.com·1d·
Discuss: Hacker News
🔌Interface Evolution